形式化方法在装备保障决策支持系统中的应用

为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.     

带宽受限下频谱分离对提高RDSS入站容量的影响分析

用户入站容量是RDSS系统设计的一个重要指标,主要受限于入站信号之间的多址干扰.提高扩频码速率可以增加人站容量,但卫星转发器带宽限制了扩频码速率的最大值,从而限制了单个扩频频谱入站信号容量最大值.在卫星转发器带宽受限情况下,提出了采用分离扩频频谱的方法来提高入站容量,并分别对扩频频谱分离为两个和三个的情况进行了详细分析,得出了两种分离扩频频谱方案下扩频码速率的最优值.仿真结果表明,在现有转发器带宽内分离为两个扩频频谱可以提高入站容量29％,分离为三个扩频频谱可以提高人站容量37％.     

Supporting Non-State Armed Groups: A Resort to Illegality?

States have suffered equally, if not more, from violence generated by Non-state Armed Groups (NAGs), such as ethnic and religious insurgencies and terrorists, than violence directly generated by their counterparts. This does not undermine the fact that states occasionally provide support to these groups in the form of safe havens, weapons, and funding. This paper argues that state support is a function of the states’ vulnerability in extracting and mobilizing resources to secure their borders. In contrast to the conception that weak or failed states provide the largest pool of resources to NAGs, the relatively strong states still prevail as their most fervent supporters. The preliminary evidence also suggests that NAGs serve as substitutes for allies.     

Private security contractors and international humanitarian law—a skirmish for recognition in international armed conflicts

In recent international armed conflicts private security contractors (PSCs) have played an ever increasing role and military advisors and tribunals are facing the dilemma of assessing the primary and secondary status of PSCs under international humanitarian law. In this article the misconception that PSCs are necessarily mercenaries will be dispelled. The possibility that PSCs might be categorised as combatants or civilians will then be explored. The conclusion is that where they are incorporated into the armed forces of a state, PSCs might attain combatant status. However, given that states are reluctant to formally incorporate PSCs into their armed forces, they will most likely remain essentially civilian. Their degree of participation in hostilities will determine whether they retain their immunity under international humanitarian law from attack and prosecution (as civilians) or whether they are rendered unlawful belligerents.     

弹药供应保障指挥系统工作流建模研究

从面向对象的角度分析了弹药供应保障指挥业务流程,建立了面向对象的弹药供应保障指挥系统工作流概念模型,并以此为依据采用CPN过程建模技术进一步建立了弹药供应保障指挥系统工作流的OOCPN解析模型,为弹药补给时机和数量的控制决策提供了定量化的模型依据。由于建模方法采用了面向对象技术,因此能有效降低系统建模的复杂度,提高建模的效率,能更好地满足系统开放性、层次性和动态重组的需要,具有很高的实用价值。     

试论图书馆信息服务

信息时代的图书馆应发挥优势,满足社会需求,开展信息服务.图书馆对外应全面开放,宣传自己,培养用户信息意识;对内应采用现代技术,提高业务人员素质,加强业务管理等措施,使图书馆在信息社会里得到进一步发展.     

基于DW+OLAP+DM的器材保障决策支持系统设计

针对我军当前器材保障状况,阐述了基于数据仓库、联机分析处理和数据挖掘技术的决策支持系统的设计方案和开发理论。通过分析器材保障决策支持的特点,确定了器材保障决策支持系统的需求。具体论述了器材保障决策支持系统的设计步骤,重点讨论了数据仓库多维数据结构的设计。     

Robust adaptive UKF based on SVR for inertial based integrated navigation

Aiming at the problem that the traditional Unscented Kalman Filtering (UKF) algorithm can’t solve the problem that the measurement covariance matrix is unknown and the measured value contains outliers, this paper proposes a robust adaptive UKF algorithm based on Support Vector Regression (SVR). The algorithm combines the advantages of support vector regression with small samples, nonlinear learning ability and online estimation capability of adaptive algorithm based on innovation. Firstly, the SVR model is trained by using the innovation in the sliding window, and the new innovation is monitored. If the deviation between the estimated innovation and the measured innovation exceeds a given threshold, then measured innovation will be replaced by the predicted innovation, and then the processed innovation is used to calculate the measurement noise covariance matrix using the adaptive estimation algorithm. Simulation experiments and measured data experiments show that SVRUKF is significantly better than the traditional UKF, robust UKF and adaptive UKF algorithms for the case where the covariance matrix is unknown and the measured values have outliers.     

An approach for predicting digital material consumption in electronic warfare

Electronic warfare is a modern combat mode, in which predicting digital material consumption is a key for material requirements planning (MRP). In this paper, we introduce an insensitive loss function (ε) and propose a ε-SVR-based prediction approach. First, we quantify values of influencing factors of digital equipments in electronic warfare and a small-sample data on real consumption to form a real combat data set, and preprocess it to construct the sample space. Subsequently, we establish the ε-SVR-based prediction model based on “wartime influencing factors - material consumption” and perform model training. In case study, we give 8 historical battle events with battle damage data and predict 3 representative kinds of digital materials by using the proposed approach. The results illustrate its higher accuracy and more convenience compared with other current approaches. Taking data acquisition controller prediction as an example, our model has better prediction performance (RMSE = 0.575 7, MAPE (%) = 12.037 6 and R² = 0.996 0) compared with BP neural network model (RMSE = 1.272 9, MAPE (%) = 23.577 5 and R² = 0.980 3) and GM (1, 1) model (RMSE = 2.095 0, MAPE (%) = 24.188 0 and R² = 0.946 6). The fact shows that the approach can be used to support decision-making for MRP in electronic warfare.     

基于集对分析和LS-SVM的装备研制风险综合评价

【】为了有效防控武器装备的研制风险,确保武器装备项目的顺利推进,提出一种基于集对分析(SPA)理论与最小二乘支持向量机(LS-SVM)方法的装备研制风险综合评价方法。在该方法中,首先,根据武器装备研制的具体特点,建立了装备研制风险评价指标体系。然后,在此基础上,引入SPA分析理论中的联系度和集对概念构建了训练样本和测试样本。最后,使用获取的样本对LS-SVM进行训练和测试,得到装备研制风险评价模型,并据此给出评价结果。案例分析表明,所提出方法过程简便,定性定量结合,形式易于理解,评价结果也更加贴近实际,对于提升装备研制项目风险管理和决策水平,具有重要的实际意义。